Buy Used and New Matthias Baaz Books

Kurt Godel and the Foundations of Mathematics: Horizons Of Truth

by Matthias Baaz

ISBN 13: 9781107677999

Format: Illustrated (540 pages)
Publisher: Cambridge University Press
Published: 27 Mar 2014

Save for later

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt G¿¿del Colloquium, KGC 2003, Vienna, ... 2803 (Lecture Notes in Computer Science)

by Johann M. Makowsky,Matthias Baaz

ISBN 13: 9783540408017

Format: Paperback (608 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Methods of Cut-Elimination: 34 (Trends in Logic)

by Matthias Baaz,Alexander Leitsch

ISBN 13: 9789400734975

Format: Paperback (296 pages)
Publisher: Springer
Published: 25 Feb 2013

Save for later